lazy basic block versioning